LUNAR Lightweight Underlay Network Ad-Hoc Routing

نویسنده

  • Christian Tschudin
چکیده

In this paper we present an new ad hoc routing system based upon simple principles regarding the routing strategy and the implementation approach. In the routing area we (re-)introduce the end-to-end principle, letting the communicating end nodes make the decisions concerning the behaviour of intermediate nodes. We adopt a routing strategy that is a mixture of on-demand and pro-active routing in order to minimize the possible down-times of communication paths. Implementation-wise we use explicit ”resolution commands” sent to neighbour nodes to provide LUNAR functionality. A freely available implementation has been produced that includes auto-configuration of IP network addresses and default gateway routing, making LUNAR a fully self-configuring ad-hoc routing solution which supports both unicast and broadcast styles of communication. In a direct comparison LUNAR matched or outperformed the available Linux implementations of AODV and OLSR.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

LUNAR – A Lightweight Underlay Network Ad-hoc Routing Protocol and Implementation

In this paper we describe LUNAR, a lean and efficient routing protocol for wireless ad hoc networks. We report on its implementation, on performance comparisons and on a formal validation result. The protocol departs in several ways from standard ad hoc routing protocols: it does not feature route repair, route caching, route maintenance or packet salvation. Nevertheless it closely matches the ...

متن کامل

Ad Hoc Routing Protocol Verification Through Broadcast Abstraction

We present an improved method for analyzing route establishment in ad hoc routing protocols. An efficient abstraction for Propagating Localized Broadcast with Dampening (PLBD) is developed. Applying this result we are able to verify networks and topology changes for ad hoc networks up to the limits currently envisaged for operational mobile ad hoc networks (MANETS). Results are reported for rou...

متن کامل

Automatized Verification of Ad Hoc Routing Protocols

Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two model checking tools, SPIN and UPPAAL, using the verification of the Lightweight Underlay Network Ad hoc Routing protocol (LUNAR) as a case study. Insights are reported in terms of identifying important modeling cons...

متن کامل

LEBRP - A Lightweight and Energy Balancing Routing Protocol for Energy-Constrained Wireless Ad Hoc Networks

A wireless ad hoc network typically refers to any set of wireless networks where all devices have equal status on a network and are free to associate with any other wireless ad hoc network devices in their range. As the nature of these networks, they commonly do not have external power supplies, and each node has a limited internal power source. In this paper, we put forward a new routing proto...

متن کامل

Ad Hoc Routing Protocol Validation

We explore and evaluate methods for validation of ad hoc routing protocols which are used to set up forwarding paths in spontaneous networks of mobile devices. The focus is automatic formal verification but we also make an initial account of a protocol performance comparison using structured live testing. State explosion is a major problem in algorithmic verification of systems with concurrentl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002